The Multipath Architecture for Prolog Programs

This paper presents an architectural model that implements the Multipath execution model of Prolog programs. Multipath performs a partial breadth-rst traversal of SLD-trees, allowing a more eecient execution than the standard depth-rst traversal. Its advantages can be exploited either in a sequential or parallel implementation. In a sequential execution, Multipath reduces the number of operations by traversing more than one search path in a single control ow. Moreover, in the context of a parallel environment , Multipath exploits path parallelism, a particular case of data parallelism when exploring search trees. We present performance gures of both kinds of systems, sequential and parallel, when using the Multipath execution model and the architecture that it is presented in this work.